Section: Dissemination

Teaching - Supervision - Juries

• Summer School:

  Véronique Cortier, Summer School École Jeunes Chercheurs en Programmation (EJCP 2015), Nancy, France, June 2015 and Summer School Marktoberdorf 2015, Marktoberdorf, Germany, August 2015.

  Frédéric Dadeau, Summer School École Jeunes Chercheurs en Programmation (EJCP 2015), Nancy, France, June 2015

• Continuing Education: Fabrice Bouquet, How to Realize Test (audience: CNRS / Inria employees), Marseille, France, 8 october and 1 december 2015

• Master:

  Fabrice Bouquet, Functional Testing, 18 hours, M2 Computer science, Franche-Comté University, France.

  Fabrice Bouquet, Artificial Intelligence, 42 hours, M1 Computer science, Franche-Comté University, France.

  Véronique Cortier, Security of flows, 20 hours, M2 Computer Science, Telecom Nancy and Mines Nancy, France.

  Frédéric Dadeau, Structural testing, 9 hours (ETD), M2 Computer science, Franche-Comté University, France.

  Alain Giorgetti, Program Proofs, 58 hours, M1 Computer science, Franche-Comté University, France.

  Alain Giorgetti, Decision Procedures, 13 hours, M2 Computer science, Franche-Comté University, France.

  Olga Kouchnarenko, Specification, Verification and Validation, 12 hours (ETD), M2 Computer science, Franche-Comté University, France.

  Olga Kouchnarenko, Security and Components, 10.5 hours (ETD), M2 Computer science, Franche-Comté University, France.

  Steve Kremer, Security Theory, 24 hours (ETD), M2 Computer science, Lorraine University, France.

  Abdessamad Imine, Security for XML Documents, 12 hours (ETD), M1, Lorraine University, France.

  Christophe Ringeissen, Decision Procedures for Software Verification, 24 hours (ETD), M2 Computer science, Lorraine University, France.

  Laurent Vigneron, Security of information systems, 22.5 hours (ETD), M2 Computer science, Lorraine University, France.

  Laurent Vigneron, Security of information systems, 24 hours (ETD), M2 MIAGE – Distributed Information Systems, Lorraine University, France.

• Licence:

  Alain Giorgetti, Logics and Deduction, 52 hours, L2 Computer science, Franche-Comté University, France.

  Olga Kouchnarenko, Formal Languages, 60 hours (ETD), L3 Computer science, Franche-Comté University, France.

• E-Learning:

  Fabrice Bouquet, Artificial Intelligence, 78 hours (ETD), M1 Computer science, Franche-Comté University, France.

  Fabrice Bouquet, Specification Validation and Test, 39 hours (ETD), M2 Computer science, Franche-Comté University, France.

  Alain Giorgetti, Formal Methods, 81 hours, L3 computer science, Franche-Comté University, France.

  Olga Kouchnarenko, Languages, Specification and Proof, 25 hours (ETD), L3 Computer science, Franche-Comté University, France.

  Olga Kouchnarenko, Compositional approaches in verification, 18 hours (ETD), M2 Computer science, Franche-Comté University, France.

• PhD (defended in 2015):

  Guillaume Scerri, Proof of security protocols revisited, January 29, Hubert Comon-Lundh and Véronique Cortier

  Bao Thien Hoang, On the Polling Problem for Decentralized Social Networks, February 3, Abdessamad Imine and Christophe Ringeissen

  Alexandre Vernotte, A pattern-driven and model-based vulnerability testing for Web applications, October 29.

  Guillaume Petiot, Contribution à la vérification de programmes C par combinaison de tests et de preuves, November 4, Jacques Julliand, Nikolai Kosmatov and Alain Giorgetti

  Jean-Marie Gauthier, Method for validation and simulation of SysML model: Applied on micro-systems, November 19, Fabrice Bouquet, Fabien Peureux and Ahmed Hammad

• PhD in progress: Younes Abid, Privacy control for social networks, started in March 2015. Abdessamad Imine, Michaël Rusinowitch and Orpailleur co-advising.

  Hadrien Bride, Validation and Reconfiguration of Modal Petri Nets within Constraint Logic Programming, started in October 2013, Olga Kouchnarenko and Fabien Peureux

  Rémy Chrétien, Decision procedures of equivalence properties, started in October 2012, Véronique Cortier and Stéphanie Delaune

  Alicia Filipiak, Design and validation of security services for mobile platforms: smartphones and tablets, started in March 2015, Véronique Cortier

  Richard Genestier, Formal specification and verification of programs generating structured data, started in October 2012, Alain Giorgetti and Olga Kouchnarenko

  Jean-Luc Joly, Randomized approaches for validation and verification procedures, started in December 2011, Pierre-Cyrille Héam

  Éric Le Morvan, Secure composition of cryptographic protocols, started in October 2013, Véronique Cortier

  Huu Hiep Nguyen, Secure Collaboration in Mobile Social Networks, started in November 2013, Abdessamad Imine and Michaël Rusinowitch

  Ludovic Robin, Verification of cryptographic protocols using weak secrets, started in October 2014, Stéphanie Delaune and Steve Kremer